Performance Evaluation of Asynchronous Circuits Using Abstract Probabilistic Timed Petri Nets with Choice

A framework for evaluating the performance of asynchronous systems is presented. Performance evaluation of the asynchronous circuits is a challenging process due to the dependencies between highly concurrent events. The utilized performance model is a Probabilistic Timed Petri-Net (PTPN) with possible choice places to capture the conditional behavior of the system. The proposed framework exploits the advantage of both static and dynamic analysis to provide precisely enough results in an acceptable time. No data manipulation is done during the simulation phase of the performance evaluation which leads to very fast simulation. Our proposed performance estimation scheme is faster than usual post-synthesis simulation by an order of 10, while the estimated performance resides in a boundary of %3 total imprecision.